Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·9h
🎯Performance Proofs
Guessing Game: Haskell Style
entropicthoughts.com·15h
👑Dependent Haskell
FLINT: Fast Library for Number Theory
flintlib.org·18h
🧮Algebraic Datatypes
Structural vs. Mathematical “Under” (2023)
dyalog.com·12h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·10h
🗝️Paleocryptography
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·18h·
Discuss: Hacker News
🔱Galois Cryptography
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📜Manuscript Calculus
Is Math Discovered or Invented?
curtispoe.org·6h
🔲Proof Irrelevance
k-NN Classification and Model Evaluation
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·58m
✅Format Verification
Did GPT-5 Solve 'New Math'?
tech2geek.net·3h·
Discuss: Hacker News
🎯Performance Proofs
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·23h
🧮Kolmogorov Bounds
16-Bit Fast Inverse Square Root
ashdnazg.github.io·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
Is math discovered or invented?
mathwithbaddrawings.com·1d
📐Mathematical Art
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·18h·
Discuss: Substack
🔗Topological Sorting